automating consistency checking造句

例句与造句

1. 15 heitmeyer c l , jeffords r d , labaw b g . automated consistency checking of requirements specification . acm trans . software engineering and methodology , july 1996 , 5 : 231 - 261
   具体来说就是，提出软件需求可以由想要的软件将处于的环境，期望中的该软件将与环境发生的交互，以及这些交互之间的因果关系来刻画。
2. It's difficult to find automating consistency checking in a sentence. 用automating consistency checking造句挺难的